| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m21c.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34R/3SUPKJB | |||
| Repositório | sid.inpe.br/mtc-m21c/2019/03.22.16.45 | |||
| Última Atualização | 2021:04.13.14.12.58 (UTC) simone | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21c/2019/03.22.16.45.12 | |||
| Última Atualização dos Metadados | 2021:04.13.14.12.58 (UTC) simone | |||
| Chave Secundária | INPE--PRE/ | |||
| Chave de Citação | Bittencourt:1993:InLóTr | |||
| Título | Inferência lógica por transformação canônica  | |||
| Ano | 1993 | |||
| Data de Acesso | 18 maio 2024 | |||
| Tipo Secundário | PRE CN | |||
| Número de Arquivos | 1 | |||
| Tamanho | 3457 KiB | |||
| 2. Contextualização | ||||
| Autor | Bittencourt, Guilherme | |||
| Grupo | LAC-INPE-MCT-BR | |||
| Afiliação | Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Nome do Evento | Simpósio Brasileiro de Inteligência Artificial, 10 | |||
| Localização do Evento | Porto Alegre, RS | |||
| Data | out. | |||
| Histórico (UTC) | 2019-03-22 16:45:23 :: simone -> administrator :: 1993 2021-03-03 22:49:50 :: administrator -> simone :: 1993 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Tipo do Conteúdo | External Contribution | |||
| Resumo | Neste artigo, apresenta-se um método de inferência inerentemente paralelo para a lógica de primeira ordem, baseado na transformação entre formas normais canônicas. Introduz-se ainda um formalismo geométrico para representar cláusulas lógicas que permite a exploração do paralelismo do método de inferência através da representação da distributividade e da dominância entra cláusulas como fenômenos de propagação e interferência de informação em um espaço de abstrações. | |||
| Área | COMP | |||
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Inferência lógica por... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP3W34R/3SUPKJB | |||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP3W34R/3SUPKJB | |||
| Idioma | pt | |||
| Arquivo Alvo | bittencourt_inferencia.pdf | |||
| Grupo de Usuários | simone | |||
| Grupo de Leitores | administrator simone | |||
| Visibilidade | shown | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Repositório Espelho | urlib.net/www/2017/11.22.19.04.03 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP | |||
| Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor electronicmailaddress format isbn issn keywords label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readpermission resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||